function getLength(args: { length: number }) {
  return args.length;
}

console.log(getLength("123"));
console.log(getLength(["abc", "cba", "nba"]));

// 错误调用，类型校验
// console.log(getLength())
// console.log(getLength(123))

export {};
